A Set of Performance and Dependability Analysis Components for CADP
نویسندگان
چکیده
This paper describes a set of analysis components that open the way to perform performance and dependability analysis with the Cadp toolbox, originally designed for verifying the functional correctness of Lotos specifications. Three new tools (named Bcg Steady, Bcg Transient and Determinator) have been added to the toolbox. The approach taken fits well within the existing architecture of Cadp which doesn’t need to be altered to enable performance evaluation.
منابع مشابه
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes
Cadp (Construction and Analysis of Distributed Processes) [2, 3] is a toolbox for specification, rapid prototyping, verification, testing, and performance evaluation of asynchronous systems (concurrent processes with message-passing communication). The developments of Cadp during the last five years led to a new release named Cadp 2006 “Edinburgh” (as a tribute to the achievements in concurrenc...
متن کاملCADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
Cadp (Construction and Analysis of Distributed Processes) is a comprehensive software toolbox that implements the results of concurrency theory. Started in the mid 80s, Cadp has been continuously developed by adding new tools and enhancing existing ones. Today, Cadp benefits from a worldwide user community, both in academia and industry. This paper presents the latest release Cadp 2010, which i...
متن کاملStructured performance analysis for component-based systems
The Component Based System (CBS) paradigm is now largely used to design software systems. In addition, performance and behavioural analysis remains a required step for the design and the construction of efficient systems. This is especially the case of CBS, which involve interconnected components running concurrent processes. This paper proposes a compositional method for modeling and structure...
متن کاملVEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems
Embedded systems are proliferating at an amazing rate. To be successful these systems must be tailored to meet many cost, time to market, performance, and dependability constraints. Building and tailoring embedded systems by using domain speciic components has promise. However, in composing components the most diicult issues are ensuring that non-functional properties such as real-time performa...
متن کاملC.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the functional correctness of Lotos specifications. Two new tools (named C.Open and Annotator) have been added to the toolbox. The approach taken fits well within the existing architecture of Cadp which doesn’t need to be ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003